359 research outputs found
A Simulator for LLVM Bitcode
In this paper, we introduce an interactive simulator for programs in the form
of LLVM bitcode. The main features of the simulator include precise control
over thread scheduling, automatic checkpoints and reverse stepping, support for
source-level information about functions and variables in C and C++ programs
and structured heap visualisation. Additionally, the simulator is compatible
with DiVM (DIVINE VM) hypercalls, which makes it possible to load, simulate and
analyse counterexamples from an existing model checker
Forced Marriage among Persons with Intellectual Disabilities: Discussion Paper
Global human rights laws grant all individuals with disabilities, including individuals
with intellectual disabilities, the right to marry and have families. In those cases
however, where marriages are arranged between an individual with an intellectual
disability and another (whether non-disabled or disabled) against the will of the
intellectually disabled person, such marriages can be considered forced. According
to the UK government, a forced marriage âis a marriage conducted without the valid
consent of both parties, where duress is a factorâ.
This paper comments on the âforced marriageâ of persons with intellectual disabilities,
a practice found within several ethnic and minority communities in the UK, where
arranged marriages are common. While arranged marriages are entered into with
the consent of both potential spouses, in forced marriages it may well be the case
that at least one of the parties is unable to consent due to lack of capacity. In such
cases, coercion is implicit. We believe that this practice is not unique to the UK and
globalisation and international migration has increased the risk of persons with
intellectual disabilities being forced into social contracts such as marriage, of which
they have little understanding. The implications of such marriages for persons with
intellectual disabilities themselves as well as for their partners and their families are
significant and need to be more widely acknowledged and discussed
MintHint: Automated Synthesis of Repair Hints
Being able to automatically repair programs is an extremely challenging task.
In this paper, we present MintHint, a novel technique for program repair that
is a departure from most of today's approaches. Instead of trying to fully
automate program repair, which is often an unachievable goal, MintHint performs
statistical correlation analysis to identify expressions that are likely to
occur in the repaired code and generates, using pattern-matching based
synthesis, repair hints from these expressions. Intuitively, these hints
suggest how to rectify a faulty statement and help developers find a complete,
actual repair. MintHint can address a variety of common faults, including
incorrect, spurious, and missing expressions.
We present a user study that shows that developers' productivity can improve
manyfold with the use of repair hints generated by MintHint -- compared to
having only traditional fault localization information. We also apply MintHint
to several faults of a widely used Unix utility program to further assess the
effectiveness of the approach. Our results show that MintHint performs well
even in situations where (1) the repair space searched does not contain the
exact repair, and (2) the operational specification obtained from the test
cases for repair is incomplete or even imprecise
Initiating dialogue between stakeholders and establishing a common language for community severance through cross disciplinary workshops
The concept of community severance has slowly been making its way into concrete transport plans and policies but it still lacks a consensual definition. This is because the issue has been approached by researchers from a range of disciplines, which have specific and diverse ways of constructing scientific knowledge. The objective of this paper, the first in a series of working papers to be generated by the Street Mobility and Network Accessibility research project is to build bridges between these different approaches and provide a base for the integration of community severance into public policy. The paper is the outcome of a series of workshops attended by a cross-disciplinary team of researchers and stakeholders, including policy-makers and local practitioners. On the basis of these discussions, a framework for cross-disciplinary research on community severance is developed, taking into consideration the chain of direct and indirect effects of transport infrastructure and motorised traffic and the range and complexity in the methodologies used for analysing and formulating solutions to the problem. In a second stage, we examine the consistency between this framework and the opinions and experiences of stakeholders
An investigation of TNAV equipped aircraft in a simulated en route metering environment
This document presents the results of an effort to estimate how often a TNAV (Time Navigation) equipped aircraft could be given a TNAV clearance in the En Route Metering (ERM) system as a function of the percentage of arriving traffic which is TNAV equipped. A fast-time simulation of Denver Stapleton international arrival traffic in the Denver Air Route Traffic Control Center route structure, including en route metering operations, was used to develop data on estimated conflicts, clearance communications and fuel usage for traffic mixes of 25, 50, 75 and 100% TNAV equipped. This study supports an overall effort by NASA to assess the benefits and required technology for using TNAV-equipped aircraft in the ERM environment
The JKind Model Checker
JKind is an open-source industrial model checker developed by Rockwell
Collins and the University of Minnesota. JKind uses multiple parallel engines
to prove or falsify safety properties of infinite state models. It is portable,
easy to install, performance competitive with other state-of-the-art model
checkers, and has features designed to improve the results presented to users:
inductive validity cores for proofs and counterexample smoothing for test-case
generation. It serves as the back-end for various industrial applications.Comment: CAV 201
Urban transport and community severance: linking research and policy to link people and places
Urban transport infrastructure and motorised road traffic contribute to the physical or psychological separation of neighbourhoods, with possible effects on the health and wellbeing of local residents. This issue, known as "community severance", has been approached by researchers from a range of disciplines, which have different ways of constructing scientific knowledge. The objective of this paper is to build bridges between these different approaches and provide a basis for the integration of the issue into public policy. A framework for cross-disciplinary research on community severance is developed, built on the results of two workshops attended by researchers from different disciplines. This framework takes into consideration the chain of direct and indirect effects of transport infrastructure and motorised traffic on local communities and the complexity in the methods used for analysing and formulating solutions to the problem. The framework is then compared with the views of practitioners, based on discussions held in a third and final workshop. It was concluded that to better understand community severance, researchers should frame their work in relation to that of other disciplines and develop tools that reflect the diversity of local contexts and stakeholders, balancing complexity with applicability
Property-Based Testing - The ProTest Project
The ProTest project is an FP7 STREP on property based testing. The purpose of the project is to develop software engineering approaches to improve reliability of service-oriented networks; support fault-finding and diagnosis based on specified properties of the system. And to do so we will build automated tools that will generate and run tests, monitor execution at run-time, and log events for analysis.
The Erlang / Open Telecom Platform has been chosen as our initial implementation vehicle due to its robustness and reliability within the telecoms sector. It is noted for its success in the ATM telecoms switches by Ericsson, one of the project partners, as well as for multiple other uses such as in facebook, yahoo etc. In this paper we provide an overview of the project goals, as well as detailing initial progress in developing property based testing techniques and tools for the concurrent functional programming language Erlang
Disability, Caste, and Intersectionality: Does Co-Existence of Disability and Caste Compound Marginalization for Women Seeking Maternal Healthcare in Southern Nepal?
Background: Disability and caste are two different forms of oppression; however, people of the Dalit caste in Nepal and people with disabilities commonly face similar types of marginalities. Dalit women with disabilities may experience double discrimination because of the intersectionality of disability and caste. This study examines whether the disability and caste identity of women together affects and compounds the utilization of maternal healthcare services. Methods: A cross-sectional survey was conducted using a semi-structured questionnaire among a total of 354 Dalit and non-Dalit women, with and without a disability aged between 15â49 years. Maternal healthcare service utilization was assessed by antenatal care (ANC), health facility (HF) delivery, and postnatal care (PNC) during the last pregnancy. Logistic regression was performed to detect the predictors of service utilization and identify whether disability and caste were associated with service utilization. First, disability and caste were fitted separately in models. Secondly, the intersectionality of disability and caste was tested by inclusion of a disability*caste interaction term. Finally, the confounding effect of socio-demographic factors was investigated. Results: Out of surveyed women, 73% had 4+ ANC visits, 65% had HF delivery, and 29% had a PNC visit during their last pregnancy. Women with a disability had lower odds of HF delivery (OR 0.50, CI 0.30â0.84) and PNC (OR 0.47, CI 0.25â0.88) than women without a disability. Adjustment for womenâs age and household wealth explained associations in HF delivery by women with disabilities. There was no association between caste and service utilization. Disability overrode caste, and there was no other evidence of effect modification by womenâs caste status in the utilization. However, a weak interaction effect in the utilization of ANC services was found in the caste group by their education (OR 0.19, 95% CI 0.05â0.74). Conclusions: Disabled womenâwhether Dalit or non-Dalitâhad lower rates of utilizing all maternal healthcare services than non-disabled women. Interestingly, Dalit women with disabilities were more likely to receive PNC than non-Dalit women with disabilities. Increasing equity in maternal healthcare service utilization requires that traditional approaches to service development and program intervention be re-examined and more nuanced interventions considered to ensure improved access and outcomes among all vulnerable groups
- âŚ